On the notion of assumption in logical systems
نویسنده
چکیده
When a logical system is specified and the notion of a derivation or formal proof is explained, we are told (i) which formulas can be used to start a derivation and (ii) which formulas can be derived given that certain other formulas have already been derived. Formulas of the sort (i) are either assumptions or axioms, formulas of the sort (ii) are conclusions of (proper) inference rules. Axioms may be viewed as conclusions of (improper) inference rules, viz. inference rules without premisses. In what follows I refer to conclusions of proper or improper inference rules as assertions. In natural deduction systems, inference rules deal both with assumptions and assertions, as the assumptions on which the conclusion of an inference rule depends, are not necessarily given by the collection of all assumptions on which the premisses depend, in case the rule permits the discharging of assumptions. For example, the rule of implication introduction
منابع مشابه
The concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملOn the Notion of Fuzzy Shadowing Property
This paper is concerned with the study of fuzzy dynamical systems. Let (XM ) be a fuzzy metric space in the sense of George and Veeramani. A fuzzy discrete dynamical system is given by any fuzzy continuous self-map dened on X. We introduce the various fuzzy shad- owing and fuzzy topological transitivity on a fuzzy discrete dynamical systems. Some relations between this notions have been proved.
متن کاملActions, Norms, Subactions and Kernels of (Fuzzy) Norms
In this paper, we introduce the notion of an action $Y_X$as a generalization of the notion of a module,and the notion of a norm $vt: Y_Xto F$, where $F$ is a field and $vartriangle(xy)vartriangle(y') =$ $ vartriangle(y)vartriangle(xy')$ as well as the notion of fuzzy norm, where $vt: Y_Xto [0, 1]subseteq {bf R}$, with $bf R$ the set of all real numbers. A great many standard mappings on algebr...
متن کاملA NEW NOTION OF FUZZY PS-COMPACTNESS
In this paper, using pre-semi-open L-sets and their inequality, a new notion of PS-compactness is introduced in L-topological spaces, where L is a complete De Morgan algebra. This notion does not depend on the structure of the basis lattice L and L does not need any distributivity.
متن کاملRough approximation operators based on quantale-valued fuzzy generalized neighborhood systems
Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...
متن کامل